Electronic Books

Total Books: 21 - 40 /85
978-3-540-73845-9
Browning Agents and Active Particles : Collective Dynamics in the Natural and Social Sciences

Lays out a vision for a coherent framework for understanding complex systems'' (from the foreword by J. Doyne Farmer). ...

Continue reading
978-3-540-79992-4
Cellular Automata : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...

Continue reading
978-0-8176-4415-4
Cellular Automaton Modeling of Biological Pattern Formation

This book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...

Continue reading
978-1-84628-927-9
Cognition, Communication and Interaction : Transdisciplinary Perspectives on Interactive Technology

This book aims to provide a trans-disciplinary research framework and methodology for interaction design. The analysis directs ...

Continue reading
978-3-540-70552-9
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support : Results of the IMPROVE Project

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...

Continue reading
978-3-540-88562-7
Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...

Continue reading
978-3-540-69384-0
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Continue reading
978-3-540-69387-1
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Continue reading
978-3-540-69389-5
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Continue reading
978-3-540-69010-8
Computational Science and High Performance Computing III : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and ...

Continue reading
978-3-540-69839-5
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Continue reading
978-3-540-69848-7
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Continue reading
978-3-030-53291-8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Continue reading
978-3-030-81685-8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-030-81688-9
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-030-25540-4
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Continue reading
978-0-387-77251-6
Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-0-387-77253-0
Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-8348-9513-4
Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning

Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...

Continue reading
978-3-030-36071-9
Cyber-Physical Systems: A Model-Based Approach

In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...

Continue reading
Total Books: 21 - 40 /85